منابع مشابه
Automorphisms of transition graphs for a linear cellular automaton
A cellular automaton (CA) is a discrete dynamical system, and the transition graph is a representation of the CA’s phase space. Automorphisms of the transition graph correspond to symmetries of the phase space; studying how the total number of automorphisms varies with the number of cells on which the CA operates yields a (partial) classification of the space of CA rules according to their dyna...
متن کاملAutomaton logic
The experimental logic of Moore and Mealy type automata is investigated. key words: automaton logic; partition logic; comparison to quantum logic; intrinsic measurements
متن کاملAutomaton semigroups
The concept of an automaton group generalizes easily to semigroups, and the systematic study of this area is beginning. This paper aims to contribute to that study. The basic theory of automaton semigroups is briefly reviewed. Various natural semigroups are shown to arise as automaton semigroups. The interaction of certain semigroup constructions with the class of automaton semigroups is studie...
متن کاملAutomaton Plans
Macros have long been used in planning to represent subsequences of operators. Macros can be used in place of individual operators during search, sometimes reducing the effort required to find a plan to the goal. Another use of macros is to compactly represent long plans. In this paper we introduce a novel solution concept called automaton plans in which plans are represented using hierarchies ...
متن کاملTrivial Automorphisms
We prove that the statement ‘For all Borel ideals I and J on ω, every isomorphism between Boolean algebras P(ω)/I and P(ω)/J has a continuous representation’ is relatively consistent with ZFC. In this model every isomorphism between P(ω)/I and any other quotient P(ω)/J over a Borel ideal is trivial for a number of Borel ideals I on ω. We can also assure that the dominating number, d, is equal t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Control
سال: 1967
ISSN: 0019-9958
DOI: 10.1016/s0019-9958(67)90449-4